EPILOG[1]

Extended Programming In LOGic

Prolog with several AND's having different time constraints.

"Epilog: A Language for Extended Programming in Logic", A. Porto in Implementations of Prolog, J. A. Campbell ed, Ellis Horwood, 1984.